$\vdash$  $\forall$$i$, $j$, $k$:$\mathbb{Z}$. ($i$ $\leq$ $j$) $\Rightarrow$ ($j$ $\leq$ $k$) $\Rightarrow$ ($i$ $\leq$ $k$)